x * y % z
